#!/bin/bash --login
# Use --login to make sure /etc/profile is sourced

set -e
cd
ct-ng help
ct-ng list-samples
ct-ng list-steps
